body {
	background-color: #ffffff;
	color: #000000;
	font-size: 10pt;
	font-family: "Lucida Grande",Verdana,Lucida,Helvetica,Arial,sans-serif
}

div#portaltop {
    margin:0 auto;
    width:100%;   
    height:158px;
    z-index:1 !important;
    background:transparent url(./images/body-bg-2.png) repeat-x top left;
}
div#portaltop img {
    margin-left:auto;
    margin-right:auto;
    display:block; 
}
.related-sites {
    font-size:9pt;
    text-align:left;
    margin-left:5px;
    margin-bottom:5px;
    padding-right:0px;
    margin-top:-24px !important;
    clear:none;
    position:absolute;
    z-index:1 !important;
}
.related-sites a:link,
.related-sites a:visited,
.related-sites a {
    color:#000000;
}
.related-sites a.this, 
.related-sites a:hover {
    color: white !important;
    text-decoration: underline;
}

/* menu bar */
ol {
	font-family: arial; 
	font-size: 12px; 
	list-style: none; 
	margin: 0; 
	padding: 0; 
	position: relative
}
ol li {
	float: left; 
	margin: 0 5px 5px 0; 
	position: relative;
}
ol li a, 
ol li:hover ol li a {
	color: #fff; 
	padding: 5px; 
	text-decoration: none; 
	display: block; 
	white-space: nowrap
}
ol li:hover ol li a {
	color:#fff !important;
}

ol li:hover a {
	background-color: #444442; 
	color: #f4f4f4;
}
ol li ol {
	left: 0; 
	position: absolute; 
	top: 24px; 
	display: none;
    width:inherit;	
}
ol li ol li {   
	margin-bottom:0;
	width:100%;
}
ol li:hover ol {
	display: block; 
	position: absolute
}
.menu-external {
    padding-right:12px;
    background:transparent url(./images/ext-link.png) no-repeat top right;
}

#main-container h1:first-child {
    margin-top:0;
}

div#portal-divisor {
	background-image: url('http://akn.web.cs.unibo.it/resolver/img/image-header.png');
	margin-left: auto;
	margin-right: auto;
	width: 800px;
	height: 25px;
}

div#main-container {
	background-color: #ffffff;
}

h1 {
	text-align: center;
	color: #DC0808;
	font-size: 200%;
}

h2 {
	margin-top: -15px;
	text-align: center;
	color: #DC0808;
	font-size: 130%;
}

p.content {
	margin-left: 25px;
	margin-right: 25px;
	line-height: 1.2em;
	font-size:1em;
}

div.copyright {
	margin-left: 25px;
	margin-right: 25px;
	text-align: left;
	font-size: 9pt;
	line-height: 1.2em;
	color: #7C7C7C;
	margin-top: 30px;
	padding-bottom: 10px;
}

th {
	background-color: #B32C13;
	height: 1.8em;
	line-height: 1.5em;
	font-size: 94%;
	padding-top: 0.1em;
	text-align: center;
	color:#ffffff;
}

#tabs {
	margin-left: 25px;
	margin-right: 25px;
}

table {
	border: 1px solid #aaaaaa;
	font-size: 10pt;
}

a {
	color: #CD1006;
}

.smaller {
	font-size: 80%;
}

.moduleName {
	font-size: 85%;
	font-style: italic;
	color: #777777;
}

.desc {
	font-size: 90%;
	color: #777777;
}
.filename, .elementName {
	font-size: 90%;
	font-family: courier, fixed, monospace
}

.description {
	margin-left: 30px;
	margin-right: 30px;
	font-size: 8pt;
	background-color: #ffffdd;
	border: solid #ffff99 thin;
	margin-top: -10px;
	padding: 2pt;
}

li {
	margin-left: 20px;
	line-height: 1.2em;
}

.subModules {
	margin-top: -8px;
	margin-left: 30px;
	margin-right: 30px;
	font-size: 95%;
}

.details {
	font-size: 80%;
}

.buttons {
	text-align: center;
}
.spacer {
	width: 50pt;
}

#selectionShown {
	font-family: courier, fixed, monospace;
	font-size: 90%;
}

#submit {
	margin-left: 50px;
}

dl {
	margin-left: 25px;
}
